Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs
نویسندگان
چکیده
منابع مشابه
Computer-Assisted Program Reasoning Based on a Relational Semantics of Programs
Most systems for program reasoning are based on calculi such as the Hoare Calculus or Dynamic Logic [1] where we generate from a program specification and a program implementation (which is annotated with additional meta-information such as loop invariants and termination terms) those conditions whose verification implies that the implementation indeed meets the specification. The problem is th...
متن کاملthe impact of computer-assisted language learning on achievement motivation of high school students
چکیده انگیزه دلیل اصلی رفتارهای ما است. به نظر می رسد انگیزه جزء جدایی ناپذیر فرایند یادگیری باشد. ارزش ذاتی موفقیت تمایل به پیشرفت را در یادگیرنده ایجاد میکند. به عبارت ساده این تمایل انگیزه پیشرفت نامیده میشود. انگیزه پیشرفت را میتوان در احساس یادگیرنده هنگام چالش با درس های مدرسه، لذت انجام فعالیت درسی، یا حس کشف پاسخ مشاهده کرد.حتی ممکن است انگیزه پیشرفت را در تلاش یادگیرنده برای جلب تایید...
learner autonomy in a computer-assisted project-based efl reading classroom
آموزش برمبنای ذخیره اطلاعات ، دانشجویان را به عنوان افرادی غیر متفکر وغیرقابل کنترل می پندارد . در همین راستا ، خواندن در سیستم آموزشی برمبنای ذخیره اطلاعات ، مهارتی پنداشته می شود که می توان آن را با یاد گرفتن انفعالی وجداگانه تعدادی از مهارتهای جزیی فراگرفت . درآن سو خواندن در سیستم آموزشی برمبنای طرح مسآله ،به عنوان رفتاری نقادانه تلقی می شود که از طریق آن می توان دنیای فرای کلمات را کشف کرد...
Relational Semantics for Higher-Order Functional Programs
Much work has been done on the semantics of programs with local state. Most of this work involves complex storage modeling with pointers and memory cells, complicated categorical constructions, and reasoning in the presence of context. We show how a relatively simple relational semantics can be used to avoid these complications. We provide a natural relational semantics for a programming langua...
متن کاملRelational Semantics for Higher-Order Programs
Most previous work on the semantics of higher-order programs with local state involves complex storage modeling with pointers and memory cells, complicated categorical constructions, or reasoning in the presence of context. In this paper we show how a relatively simple relational semantics can be used to avoid these complications. We provide a natural relational semantics for a programming lang...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2012
ISSN: 2075-2180
DOI: 10.4204/eptcs.79.8